Publications

Publications of

Conference papers
Other publications
  • Michael Harrison, Philippe Palanque, David Navarre

    The future of Design Specification and Verification of Safety Critical Interactive Systems. Can our systems be SURE (Safe, Usable, Reliable and Evolvable)?

    Tutoriel. 2010. ACM SIGCHI Conference on Human Factors for Computing Systems (CHI 2010)

    Abstract
    BibTeX

Department
Publication type
Criteria





Operator   AND   OR
Sort by